namespace paxos { namespace detail {

}; };
